Language-based system

Results: 412



#Item
101Lambda calculus / Constraint programming / Type theory / Theoretical computer science / Scheme / Lambda / System F / Local consistency / Constraint logic programming / Programming language theory / Software engineering / Computer science

Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.  Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2005-11-28 16:38:29
102Natural language processing / Linguistics / Artificial intelligence / Knowledge representation / NooJ / Semantics / Computational linguistics / Speech recognition / Science

Graph based system purpose – built for automatic retrieval and extraction of the electronics data. Dziczkowski Grzegorz Ecole des Mines de Paris 35, rue Saint-HonoreFONTAINEBLEAU

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2008-09-08 05:26:51
103World Wide Web / Web Services Description Language / Apache Axis / Java API for XML-based RPC / Brekeke PBX / Business telephone system / Representational state transfer / SOAP / Computing / Web standards / Web services

Microsoft Word - brekeke_ip-pbx_web_service_070723_ts.doc

Add to Reading List

Source URL: www.brekeke-sip.com

Language: English - Date: 2008-04-02 18:04:42
104System software / Security Assertion Markup Language / Security / Keystore / Public key certificate / Service provider / SAML 2.0 / SAML-based products and services / Public-key cryptography / Identity management / Computer security

SSO Plugin Case study: Integrating with Ping Federate J System Solutions http://www.javasystemsolutions.com Version 4.0

Add to Reading List

Source URL: www.javasystemsolutions.com

Language: English - Date: 2014-01-20 14:08:32
105System software / Security Assertion Markup Language / Security / Keystore / Public key certificate / Service provider / SAML 2.0 / SAML-based products and services / Public-key cryptography / Identity management / Computer security

SSO Plugin Case study: Integrating with Ping Federate J System Solutions http://www.javasystemsolutions.com Version 4.0

Add to Reading List

Source URL: www.javasystemsolutions.com

Language: English - Date: 2014-01-20 14:08:32
106Dialog box / Modal window / Mode / Qt / Open Programming Language / Software / System software / Graphical user interface elements

Qt Essentials - Dialogs Module Training Course Visit us at http://qt.digia.com Produced by Digia Plc. Material based on Qt 5.0, created on September 27, 2012

Add to Reading List

Source URL: d3hp9ud7yvwzy0.cloudfront.net

Language: English - Date: 2014-09-19 08:37:14
107Logic in computer science / Programming language semantics / Actor model / Concurrent computing / Symbol / Binding / Operational semantics / Objective-C / Computing / Software engineering / Computer programming

FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2009-11-22 11:37:03
108Data modeling / Model-driven architecture / Executable UML / Profile / UML tool / Meta-Object Facility / Stereotype / Component-based software engineering / XML Metadata Interchange / Unified Modeling Language / Software engineering / Software design

Building a UML Profile for MultiTEL Lidia Fuentes, José M. Troya, and Antonio Vallecillo ETSI Informática. Universidad de Málaga {lff,troya,av}@lcc.uma.es Abstract. A UML profile for a system or an application is a st

Add to Reading List

Source URL: www.lcc.uma.es

Language: English - Date: 2013-11-05 06:37:02
109ETH Zurich / Language-based system / Orc / ALGOL 68 / Actor model / Pascal / Computing / Programming language theory / Software engineering

Dr. sc. ETH Mathias Payer C ONTACT Revision: MarchAffiliation:

Add to Reading List

Source URL: www.nebelwelt.net

Language: English - Date: 2015-04-20 14:04:32
110Software / ADABAS / Adabas D / Oracle Database / Data Definition Language / Database / SQL / DOS/360 and successors / Sybase / Relational database management systems / Data management / Computing

tRelational ADABAS-to-RDBMS Data Modeling and Mapping tRelational and Data Propagation System (DPS) are robust products that provide modeling and data transfer of legacy ADABAS data into modern RDBMS-based platform for I

Add to Reading List

Source URL: treehouse.com

Language: English - Date: 2015-01-13 09:52:40
UPDATE